Skip to content

chore(web): adjust types in guide-examples tests - #16523

Merged
ermshiperete merged 1 commit into
masterfrom
chore/web/typesInTest
Sep 7, 2026
Merged

chore(web): adjust types in guide-examples tests#16523
ermshiperete merged 1 commit into
masterfrom
chore/web/typesInTest

Conversation

@ermshiperete

@ermshiperete ermshiperete commented Sep 3, 2026

Copy link
Copy Markdown
Contributor

This change adjusts the types in the guide-examples unit tests.

Build-bot: skip build:web
Test-bot: skip

@github-project-automation github-project-automation Bot moved this to Todo in Keyman Sep 3, 2026
@keymanapp-test-bot keymanapp-test-bot Bot added the user-test-missing User tests have not yet been defined for the PR label Sep 3, 2026
@keymanapp-test-bot

keymanapp-test-bot Bot commented Sep 3, 2026

Copy link
Copy Markdown

User Test Results

Test specification and instructions

User tests are not required

Test Artifacts

  • Web
    • KeymanWeb Test Home - build : all tests passed (no artifacts on BuildLevel "build")

@keymanapp-test-bot keymanapp-test-bot Bot added this to the B19S1 milestone Sep 3, 2026
@keymanapp-test-bot keymanapp-test-bot Bot removed the user-test-missing User tests have not yet been defined for the PR label Sep 3, 2026
@ermshiperete ermshiperete changed the title chore(web): adjust types chore(web): adjust types in guide-examples tests Sep 3, 2026
@ermshiperete
ermshiperete merged commit 8ec6ba0 into master Sep 7, 2026
9 checks passed
@ermshiperete
ermshiperete deleted the chore/web/typesInTest branch September 7, 2026 15:05
@github-project-automation github-project-automation Bot moved this from Todo to Done in Keyman Sep 7, 2026
@keyman-server

Copy link
Copy Markdown
Collaborator

Changes in this pull request will be available for download in Keyman version 19.0.281-alpha

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

Status: Done

Development

Successfully merging this pull request may close these issues.

3 participants